\documentclass{minimal}

\usepackage[utf8]{inputenc}
\usepackage[english, russian]{babel}


\usepackage{pgf}
\usepackage{tikz}

\usepackage{verbatim}
\usepackage[active,tightpage]{preview}
\PreviewEnvironment{tikzpicture}
\setlength\PreviewBorder{5pt}%

\usepackage[utf8]{inputenc}
\usetikzlibrary{arrows,automata}
\usetikzlibrary{positioning}



\tikzset{
     pil/.style={
	draw=black}
}

\begin{document}

\begin{tikzpicture}[->,>=stealth']


\node(n1){$[x_1=1]_0 $};

\node[ above right of=n1, node distance=2.5cm](n2){$[x_2=0]_1 $};

\node[above right of=n2, node distance=2.5cm] (n3){$[x_3=1]_1 $};
\node[below right of=n2, node distance=2.5cm](n4){$[x_4=0]_1 $};

 \path (n2) edge[pil] node[anchor=west] { $(x2 \vee x3) $ } (n3);

 \path (n2) edge[pil] node[anchor=west] { $(x2 \vee \neg x4)$ } (n4);


\end{tikzpicture}

\end{document}
